$a$ $<$$g$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$ $<$($g$$\downarrow$oset) $b$